These axioms are closely related to Hilbert's axioms of order.
2.
In Hilbert's treatment, this axiom appears in the section concerning axioms of order and is referred to as a " plane axiom of order ".
3.
In Hilbert's treatment, this axiom appears in the section concerning axioms of order and is referred to as a " plane axiom of order ".
4.
*PM : some theorems on the axioms of order, id = 9662 new !-- WP guess : some theorems on the axioms of order-- Status:
5.
*PM : some theorems on the axioms of order, id = 9662 new !-- WP guess : some theorems on the axioms of order-- Status:
6.
Starting with Hilbert's axioms the necessary changes involve removing Hilbert's four axioms of order and replacing them with these seven axioms of separation concerned with a new undefined relation.